161. Initiationmathematique aux grammaires formelles
پدیدآورنده: Huges
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Formal languages,Machine theory
رده :
QA
267
.
3
.
H8
162. Introduction to autmata theory languages and computation
پدیدآورنده: Hopcroft, John E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H66
163. Introduction to automata theory, Languages and computation
پدیدآورنده: Hopcroft, John E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity
رده :
QA
267
.
H56
164. Introduction to automata theory,language,& computation
پدیدآورنده: HOPCROFT,JOHN E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MACHINE THEORY , FORMAL LANGUAGES , COMPUTATIONAL COMPLEXIT
رده :
QA
267
.
H56
165. Introduction to automata theory, languages, and computation
پدیدآورنده: Hopcroft, John E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2001
166. Introduction to automata theory, languages, and computation /
پدیدآورنده: John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
H56
2007
167. Introduction to automata theory: languages, and computation
پدیدآورنده: / John E. Hopcroft, Jeffrey D. Ullman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Machine theory,Formal languages,Computational complexity
رده :
511
.
3
H791I
1979
168. Introduction to automata theory, languages, and computation
پدیدآورنده: Hopcroft, John E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H56
2003
169. Introduction to automata theory, languages, and computation
پدیدآورنده : Hopcroft, John E
موضوع : ، Machine theory,، Formal languages,، Computational complexity
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
170. Introduction to automata theory, languages, and computation
پدیدآورنده: / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
171. Introduction to automata theory, languages, and computation
پدیدآورنده: / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Machine theory,Formal languages,Computational complexity
رده :
QA267
.
H56
2001
172. Introduction to automata theory, languages , and computation
پدیدآورنده: / E.John,Hopcroft...
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory,formal languages,computational complexity
رده :
QA267
.
H56
2001
173. Introduction to automata theory, languages, and computation ]electronic resource[
پدیدآورنده: Hopcroft, John E.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
EBL
197
174. Introduction to languages, machines and logic
پدیدآورنده: / Alan P. Parkes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Formal languages,Machine theory
رده :
QA267
.
3
.
P37
2002
175. Introduction to languages, machines and logic: computable languages, abstract machines and formal logic
پدیدآورنده: Parkes, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P37
2002
176. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
177. Language and Automata Theory and Applications
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبانهای صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
178. Language and Automata Theory and Applications :
پدیدآورنده: Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
179. Language and automata theory and applications
پدیدآورنده: \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
180. Language and automata theory and applications
پدیدآورنده: Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
